Browsing by Subject "Theorem proving"

Now showing items 1-20 of 30

    • Article  

      Boundary value problems for quasilinear ODEs 

      Milakis, E. (2005)
      A priori bounds for the quasilinear ordinary differential equations (ODE), are discussed. A priori bounds for the derivative of the solution of one-dimensional p-Laplacian are proved. The global solvability of quasilinear ...
    • Conference Object  

      Characterization of the Optimal Disturbance Attenuation for Nonlinear Stochastic Uncertain Systems 

      Charalambous, Charalambos D.; Rezaei, F.; Djouadi, S. M. (2003)
      This paper is concerned with an abstract formulation of stochastic optimal control systems, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...
    • Article  

      Classification of noether symmetries for Lagrangians with three degrees of freedom 

      Damianou, Pantelis A.; Sophocleous, Christodoulos (2004)
      The noether symmetries of the Euler-Lagrange equations for a Hamiltonian system with three degrees were classified. All groups were classified that appeared as symmetries of a general Hamiltonians system of n degrees of ...
    • Article  

      Coding approaches to fault tolerance in linear dynamic systems 

      Hadjicostis, Christoforos N.; Verghese, G. C. (2005)
      This paper discusses fault tolerance in discrete-time dynamic systems, such as finite-state controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear ...
    • Article  

      Computing argumentation in logic programming 

      Kakas, Antonis C.; Toni, F. (1999)
      In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...
    • Article  

      The Do-All problem with Byzantine processor failures 

      Fernández, A.; Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2005)
      Do-All is the abstract problem of using n processors to cooperatively perform m independent tasks in the presence of failures. This problem and its derivatives have been a centerpiece in the study of trade-offs between ...
    • Conference Object  

      Fault-tolerant discrete-time linear time-invariant filters 

      Hadjicostis, Christoforos N. (Institute of Electrical and Electronics Engineers Inc., 2000)
      Modular redundancy, the traditional approach to fault tolerance, is prohibitively expensive because of the overhead in replicating the hardware. In this paper we discuss alternative methods for obtaining fault-tolerant ...
    • Conference Object  

      Feedback control utilizing packet dropping network links 

      Hadjicostis, Christoforos N.; Touri, R. (2002)
      The increasing availability of network connectivity has prompted the study of computer-based control methodologies that are implemented centrally or distributively using existing network infrastructure as the communications ...
    • Article  

      Filtering for linear systems driven by fractional Brownian motion 

      Ahmed, N. U.; Charalambous, Charalambos D. (2003)
      In this paper we study continuous time filtering for linear multidimensional systems driven by fractional Brownian motion processes. We present the derivation of the optimum linear filter equations which involve a pair of ...
    • Conference Object  

      Finite-State Machine Embeddings for Non-Concurrent Error Detection and Identification 

      Hadjicostis, Christoforos N. (2003)
      In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system corrupts its state in a way that can render its future functionality useless. ...
    • Article  

      Microstructure-based, multiscale modeling for the mechanical behavior of hydrated fiber networks 

      Barocas, V. Η; Chandran, P. L.; Stylianopoulos, T. (2008)
      A multiscale formulation is derived for the mechanics of a dilute fiber network microstructure, as occurs in in vitro reconstituted collagen gels, to accommodate the deterministic solution of a uniform-stress condition in ...
    • Article  

      Multilevel characterizations of anisotropic function spaces 

      Kyriazis, George C. (2005)
      We present a general method for extending decomposition systems of L 2(ℝd) to decomposition systems for the anisotropic Triebel-Lizorkin and Besov spaces, Fp,qα,s and Bp,qα,s, respectively, for the full range of the indexes. ...
    • Article  

      Noether and master symmetries for the Toda lattice 

      Damianou, Pantelis A.; Sophocleous, Christodoulos (2005)
      In this letter we examine the interrelation between Noether symmetries, master symmetries and recursion operators for the Toda lattice. The topics include invariants, higher Poisson brackets and the various relations they ...
    • Article  

      Nonparametric Maximum Entropy 

      Politis, Dimitris Nicolas (1993)
      The standard maximum entropy method of Burg and the resulting autoregressive model has been widely applied for spectrum estimation and prediction. A generalization of the maximum entropy formalism in a nonparametric setting ...
    • Conference Object  

      Optimization of fully observable nonlinear stochastic uncertain controlled diffusion: Monotonicity properties and optimal sensitivity 

      Rezaei, F.; Charalambous, Charalambos D.; Kyprianou, Andreas (2004)
      This paper is concerned with fully observable nonlinear stochastically controlled diffusions, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...
    • Conference Object  

      Optimization of fully observable nonlinear stochastic uncertain controlled diffusion: Monotonicity properties and optimal sensitivity 

      Rezaei, F.; Charalambous, Charalambos D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: frezaei@site.uottawa.ca, 2004)
      This paper is concerned with fully observable nonlinear stochastically controlled diffusions, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...
    • Conference Object  

      Optimization of fully observable nonlinear stochastic uncertain controlled diffusion: Monotonicity properties and optimal sensitivity 

      Rezaei, F.; Charalambous, C. D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: frezaei@site.uottawa.ca, 2004)
      This paper is concerned with fully observable nonlinear stochastically controlled diffusions, in which uncertainty is described by a relative entropy constraint between the nominal measure and the uncertain measure, while ...
    • Conference Object  

      Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness 

      Rezaei, F.; Charalambous, Charalambos D.; Kyprianou, Andreas (2004)
      This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...
    • Conference Object  

      Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness 

      Rezaei, F.; Charalambous, C. D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: frezaei@site.uottawa.ca, 2004)
      This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...
    • Conference Object  

      Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness 

      Rezaei, F.; Charalambous, Charalambos D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: frezaei@site.uottawa.ca, 2004)
      This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...